transition system造句
例句與造句
- Limited reason and the arrangement for the transition system
有限理性和過渡性制度安排 - Control chaos in transition system using sampled - data feedback
一個過渡混沌吸引子的單參數(shù)采樣數(shù)據(jù)反饋控制 - Design and implementation of data transition system based on mobilink technology
技術(shù)的數(shù)據(jù)傳輸系統(tǒng)設(shè)計與實現(xiàn) - The real - space renormalization group approach is close to fractal and is widely used in geometric phase transition systems without hamilton , for example , percolation model , rock fracture model , flit ant model
實空間重整化群方法與分形有密切的關(guān)系,在不具有哈密頓的幾何相變系統(tǒng),如滲流,巖裂,自回避無規(guī)行走等模型廣泛地被應用。 - The real - space ( or position - space ) renormalization group method is close to fractal and is widely used in geometric phase transition systems without hamilton , for example , seepage , lattice animal and random walk
實空間(位置空間)重整化群方法與分形有密切的關(guān)系,在不具有哈密頓的幾何相變系統(tǒng),如滲流,晶格動物,無規(guī)行走等廣泛地被應用。 - It's difficult to find transition system in a sentence. 用transition system造句挺難的
- After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據(jù)eha操作語義得到的標記遷移系統(tǒng)和表示性質(zhì)的線性時態(tài)邏輯公式分別轉(zhuǎn)換為b chi自動機后,用基于自動機理論的模型檢驗方法驗證umlstatecharts的正確性。 - The envisaged application area is the development of real - time systems . on the other hand , it is convenient to describe the temporal relations using process descrption . in this paper , is discussed for translating description of process description language to z specifiation , and temporal status transition system is used as intermediary
另一方面,使用過程描述語言可以方便的描述時序關(guān)系,在本文中,我們也討論了這種非集成的擴展方式,它能夠利用時序狀態(tài)轉(zhuǎn)換系統(tǒng)將過程描述語言轉(zhuǎn)換為z規(guī)格。